cd pintos/src/userprog/build/ && pintos-gdb -tui ./kernel.o